🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
✅ Formal Verification

Correctness Proofs, Model Checking, Theorem Proving, Program Analysis

AI in open source: fighting bias in AI analysis
rainer.gerhards.net·11h·
Discuss: Hacker News
🔄Compiler Design
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·1d
🔄Compiler Design
The Baby Paradox in Haskell
blog.jle.im·11h·
Discuss: Hacker News
🔄Compiler Design
Technical Sales & Presales 101: The very basics
lukasniessen.com·14h·
Discuss: r/programming
⚡Performance Engineering
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·7h·
Discuss: Hacker News
🗄Database Systems
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Compiler Design
how to decide on the sequence of computable numbers
academia.edu·1d·
Discuss: Hacker News, r/programming
🔄Compiler Design
Building a Regex Engine
abstractsyntaxseed.com·1d·
Discuss: Lobsters, Hacker News
🔄Compiler Design
How Mintlify uses Claude Code as a technical writing assistant
mintlify.com·1d·
Discuss: Hacker News
🚢DevOps
My Zip Isn't Your Zip: Identifying and Exploiting Semantic Gaps Between Parsers
usenix.org·19h·
Discuss: Hacker News
🔍eBPF
Guide to Rapidly Improving AI Products Part 2
newsletter.eng-leadership.com·1d·
Discuss: r/programming
🚢DevOps
Fearless Programming with Rust
infoq.com·16h·
Discuss: Hacker News
📦WebAssembly
Making Sense of AI Job Titles
dbreunig.com·9h·
Discuss: Hacker News
🚢DevOps
DuPO: Enabling Reliable LLM Self-Verification via Dual Preference Optimization
arxiv.org·1d·
Discuss: Hacker News
🔄Compiler Design
SPL Lightweight Multisource Mixed Computation Practices
github.com·1d·
Discuss: Hacker News, r/programming
🔌Network Programming
What it took to make a multi-agent trading simulation durable and observable
union.ai·16h·
Discuss: Hacker News
🚢DevOps
What Claude Code gets right
minusx.ai·13h·
Discuss: Hacker News
🚢DevOps
Structured (Synchronous) Concurrency
fsantanna.github.io·3d·
Discuss: Lobsters, Hacker News
🔌Network Programming
AI SRE Needs More Than AI: It Needs Operational Context
rootly.com·11h·
Discuss: Hacker News
🚢DevOps
Ow Dynamic K8s Sandboxes Can Improve Dora Metrics
signadot.com·1d·
Discuss: Hacker News, r/devops
🚢DevOps
Loading...Loading more...
AboutBlogChangelogRoadmap